Current State ID: 48
Current State Description: - Elevator fast0 is now on floor 3 (n3), with 1 passenger (p1) onboard and a maximum capacity of 2.- Elevator fast1 remains on floor 3 (n3), empty with a maximum capacity of 2.- Elevator slow0-0 stays on floor 0 (n0), empty with a maximum capacity of 1.- Elevator slow1-0 stays on floor 3 (n3), empty with a maximum capacity of 1.- Passenger p0 is still on floor 0 (n0).- Passenger p1 is onboard fast0 at floor 3 (n3).- Passenger p2 is on floor 4 (n4).- Passenger p3 remains on floor 4 (n4).- Passenger p4 is on floor 1 (n1).- Passenger p5 is still on floor 3 (n3).

Child State ID: 61
Action Taken: leave(p1, fast0, n3, 1, 0)
State Description: - Elevator fast0 is on floor 3 (n3), now empty with 0 passengers and a maximum capacity of 2.- Elevator fast1 remains on floor 3 (n3), empty with a maximum capacity of 2.- Elevator slow0-0 remains on floor 0 (n0), empty with a maximum capacity of 1.- Elevator slow1-0 remains on floor 3 (n3), empty with a maximum capacity of 1.- Passenger p0 is on floor 0 (n0).- Passenger p1 is now on floor 3 (n3), having left fast0.- Passenger p2 is on floor 4 (n4).- Passenger p3 is on floor 4 (n4).- Passenger p4 is on floor 1 (n1).- Passenger p5 is on floor 3 (n3).

Child State ID: 62
Action Taken: move-up-slow(slow1-0, n3, n4)
State Description: - Elevator fast0 is on floor 3 (n3) with passenger p1 onboard, capacity 1/2.- Elevator fast1 is on floor 3 (n3), empty, capacity 0/2.- Elevator slow0-0 is on floor 0 (n0), empty, capacity 0/1.- Elevator slow1-0 moved to floor 4 (n4), empty, capacity 0/1.- Passenger p0 is on floor 0 (n0).- Passenger p1 is onboard fast0 at floor 3 (n3).- Passenger p2 is on floor 4 (n4).- Passenger p3 is on floor 4 (n4).- Passenger p4 is on floor 1 (n1).- Passenger p5 is on floor 3 (n3).

